Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
position within a Research Infrastructure? No Offer Description Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection
-
, attention, and emotion? Then join the interdisciplinary and intersectoral training network TReND as a PhD candidate! We offer a position for a PhD candidate/EU MSCA Fellow for the EU-funded Marie Skłodowska
-
career off right as a PhD candidate at Radboud University. You will contribute to algebraic and logical theories and formal methods for specifying and verifying systems and software. Topics we study are
-
intersectoral training network TReND as a PhD candidate! We offer a position for a PhD candidate/EU MSCA Fellow for the EU-funded Marie Skłodowska-Curie Actions (MSCA) Doctoral Network ’Translational Research
-
and machine learning to help us achieve this goal. You will be part of a larger team, for which there are currently two open positions. One PhD project will focus specifically on cell movement as a time
-
position within a Research Infrastructure? No Offer Description Are you interested in a project at the interface between computational physics, condensed matter physics, materials science and neuromorphic
-
, EU-COMRAD project on ultrafast spintronics, EU-3DMAGiC project on nanoscale topological spin textures). The main supervisors for this PhD position are Dr Johan Mentink and Prof. Theo Rasing, in close
-
position within a Research Infrastructure? No Offer Description Do you want to carry out a PhD in program verification and proof assistants? And help to scale it up to the verification of realistic systems
-
a larger team, for which there are currently two open positions. One PhD project will focus specifically on cell movement as a time series, developing causal inference methods for cell dynamics
-
want to carry out a PhD in program verification and proof assistants? And help to scale it up to the verification of realistic systems software? You will be working on the semantics and verification